Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
391	Pulsonix Design System V6.0 Update Notes 2 Pulsonix Version 6.0 Update Notes Copyright Notice Add to Reading List Source URL: www.pulsonix.com Language: English - Date: 2010-04-01 07:22:30 TARGET 3001! Electronic design automation Electronic engineering PCB
392	Advanced Microcomputer Systems, Inc. Press Information 1460 SW 3rd Street Pompano Beach, FLPhone Fax Add to Reading List Source URL: www.advancedmsinc.com Language: English - Date: 2008-09-02 09:06:02 Electronic design Diagrams Schematic capture PCB Schematic Printed circuit board DesignSpark PCB Comparison of EDA software Electronic engineering Electronic design automation Design
393	Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Logic in computer science Electronic design automation NP-complete problems Model checking Java Pathfinder Satisfiability Modulo Theories Concolic testing KeY Theoretical computer science Applied mathematics Mathematics
394	Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2011-10-12 05:34:03 Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Satisfiability Modulo Theories WalkSAT Resolution Local search Theoretical computer science Constraint programming Applied mathematics
395	FOCUS REPORT FOCUS REPORT PCB Design Tools PCB Design Tools Add to Reading List Source URL: www.advancedmsinc.com Language: English - Date: 2004-09-14 13:53:15 CADSTAR Physical design PCB Schematic capture Design closure Signal integrity P-CAD Integrated circuit design OrCAD Electronic engineering Electronic design automation Electronic design
396	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: www.jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
397	Advanced Microcomputer Systems, Inc. Press Information 1460 SW 3rd Street Pompano Beach, FLPhone Fax Add to Reading List Source URL: www.advancedmsinc.com Language: English - Date: 2008-09-02 09:06:00 Electromagnetism Electronic design Diagrams Technical communication Schematic capture Schematic Printed circuit board Comparison of EDA software DesignSpark PCB Electronic engineering Electronic design automation Design
398	Artificial Intelligence–120 www.elsevier.com/locate/artint Compiling problem specifications into SAT ✩ Marco Cadoli a,∗ , Andrea Schaerf b a Dipartimento di Informatica e Sistemistica, Università di Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:15 Complexity classes NP-complete problems Mathematical optimization Logic in computer science Boolean satisfiability problem Electronic design automation NP-complete 2-satisfiability NP Theoretical computer science Computational complexity theory Applied mathematics
399	Advanced Microcomputer Systems, Inc. Press Information 1460 SW 3rd Street Pompano Beach, FLPhone Fax Add to Reading List Source URL: www.advancedmsinc.com Language: English - Date: 2008-09-02 09:06:12 Electronic design Technical communication Diagrams Schematic capture Schematic Comparison of EDA software Electronic engineering Electronic design automation Design
400	Lattice ispEXPERT TM Design Solutions for the Universe of ISP PLDs TM Add to Reading List Source URL: www.kolter.de Language: English - Date: 2000-11-12 14:42:23 Electronic design Aldec Synopsys Synplicity VHDL Logic synthesis Verilog Field-programmable gate array High-level synthesis Electronic engineering Electronic design automation Hardware description languages

UPDATE